#include <stdio.h>

int main(){
	char a = '\x80';
	
	printf("%d\n", a);
}